Name

Leo Lara (@leolara).

Team

STEEL (EF).

Short summary of their work / eligibility

• Full-time and active contributor to ethereum/consensus-specs, with focus on testing infrastructure and test generation for upcoming forks including EIP-7732 (ePBS). PRs.
• Contributed to prysmaticlabs/prysm consensus client during Ethereum Protocol Fellowship, including Bellatrix upgrade work and state testing improvements. Ported prysm to MacOs Apple Silicon. Also authored research on Ethereum Slasher Backfilling Algorithm. PRs.
• Contributed to privacy-scaling-explorations/zkevm-circuits at PSE, including bytecode circuit refactoring and Keccak circuit work. Also led development of Chiquito, a high-level DSL for ZK circuits. PRs.

Link to some work

ethereum/consensus-specs

Merged

• #4696 - Add tests for get_validators_custody_requirement
• #4690 - Test that verify_data_column_sidecar respects the blob limit
• #4672 - Port BLS tests to pytest
• #4658 - Improve test decorators
• #4654 - Port kzg_7594 tests to pytest
• #4606 - Port kzg_4844 tests to pytest
• #4577 - Cache walk_packages in ad-hoc framework at collection time
• #4574 - Speed up test generation bootstrap
• #4541 - Port blob_to_kzg_commitment tests to pytest
• #4538 - Add ability to run framework tests separately

Open

• #4835 - Bug in Fulu specs due to BUILDER_INDEX_FLAG
• #4830 - Implement test_process_withdrawal
• #4779 - Add a test when EL payload contains unexpected withdrawal
• #4759 - Add test checklist for EIP-7732
• #4709 - Prototype of generating vectors from pytest

Issues

• #4602 - Manifest file for test vectors

prysmaticlabs/prysm

• #10981 - Add cross compilation for OSX ARM64 (Apple Silicon)
• #10316 - Some improvements for the state package testing
• #10117 - Refactor for DRY state getters_validator_test and getters_test
• #10116 - Replace codename Merge with Bellatrix (2nd step)
• #10074 - Move ErrNilValidatorsInState to common
• #10044 - Replace codename Merge with Bellatrix (1st step)

Research

• Ethereum Slasher Backfilling Algorithm - Mathematical proofs for Prysm slasher optimization

privacy-scaling-explorations/zkevm-circuits

• #1541 - Keccak refactoring with new Cell Manager
• #1468 - Bytecode Circuit: Refactor word_rlc into word lo/hi
• #1318 - Deduplicate code between evm ConstraintBuilder and BaseConstraintBuilder
• #1148 - Integration test of EVM circuit should cache the proving/verifying keys
• #1044 - Implement bytecode refactor spec in circuit

In progress / Planned

Currently working on:

• EIP-7732 (ePBS) test infrastructure and coverage
• Withdrawal processing test coverage
• Test vector generation improvements for consensus-specs

Start date of relevant projects

• First Ethereum Protocol PRs: January, 2022.
• Full-time consensus-specs: May, 2025.

Proposed weight (full or partial)

Full

Conflicts of Interest

None